Liên hệ với thước Golomb Dãy Sidon

Mọi tập hợp Sidon hữu hạn đều là một thước Golomb và ngược lại.

Có thể chứng minh bằng phản chứng mệnh đề trên như sau. Giả sử S là một tập hợp Sidon và không là thước Golomb. Do nó không là thước Golomb, tồn tại 4 phần tử sao cho a i − a j = a k − a l {\displaystyle a_{i}-a_{j}=a_{k}-a_{l}} . Do đó a i + a l = a k + a j {\displaystyle a_{i}+a_{l}=a_{k}+a_{j}} , mâu thuẫn với giả thuyết S là một tập hợp Sidon. Vì vậy mọi tập hợp Sidon đều là một thước Golomb. Bằng một chứng minh tương tự, mọi thước Golomb đều là một tập hợp Sidon.